SAS 2002 : static analysis (Madrid, 17-20 September 2002)Hermenegildo, Manuel V; Puebla, German.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-44235-9, XI, 525 p, isbn 3-540-44235-9Conference Proceedings

PADL 2005 : practical aspects of declarative languages (Long Beach CA, 10-11 January 2005)Hermenegildo, Manuel; Cabeza, Daniel.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-24362-3, VIII, 267 p, isbn 3-540-24362-3Conference Proceedings

Abstract specialization and its applicationsPUEBLA, German; HERMENEGILDO, Manuel.ACM SIGPLAN notices. 2003, Vol 38, Num 10, pp 269-283, issn 1523-2867, 15 p.Conference Paper

Building the world from first principles: Declarative machine descriptions and compiler constructionRAMSEY, Norman.Lecture notes in computer science. 2005, pp 1-4, issn 0302-9743, isbn 3-540-24362-3, 4 p.Conference Paper

Finiteness analysis in polynomial timeCHIN SOON LEE.Lecture notes in computer science. 2002, pp 493-508, issn 0302-9743, isbn 3-540-44235-9, 16 p.Conference Paper

Improving the precision of equality-based dataflow analysesRUF, Erik.Lecture notes in computer science. 2002, pp 247-262, issn 0302-9743, isbn 3-540-44235-9, 16 p.Conference Paper

Security typings by abstract interpretationZANOTTI, Mirko.Lecture notes in computer science. 2002, pp 360-375, issn 0302-9743, isbn 3-540-44235-9, 16 p.Conference Paper

Analysis and visualization tools for constraint programming (constraint debugging)Deransart, Pierre; Hermenegildo, Manuel V; Maluszyński, Jan et al.Lecture notes in computer science. 2000, issn 0302-9743, isbn 3-540-41137-2, XXI, 363 p, isbn 3-540-41137-2Book

Improved fusion for optimizing genericsALIMARINE, Artem; SMETSERS, Sjaak.Lecture notes in computer science. 2005, pp 203-218, issn 0302-9743, isbn 3-540-24362-3, 16 p.Conference Paper

Functional framework for sound synthesisKARCZMARCZUK, Jerzy.Lecture notes in computer science. 2005, pp 7-21, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

A few graph-based relational numerical abstract domainsMINE, Antoine.Lecture notes in computer science. 2002, pp 117-132, issn 0302-9743, isbn 3-540-44235-9, 16 p.Conference Paper

Checking safety properties of behavioral VHDL descriptions by abstract interpretationHYMANS, Charles.Lecture notes in computer science. 2002, pp 444-460, issn 0302-9743, isbn 3-540-44235-9, 17 p.Conference Paper

Type class directivesHEEREN, Bastiaan; HAGE, Jurriaan.Lecture notes in computer science. 2005, pp 253-267, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

Nonuniform alias analysis of recursive data structures and arraysVENET, Arnaud.Lecture notes in computer science. 2002, pp 36-51, issn 0302-9743, isbn 3-540-44235-9, 16 p.Conference Paper

Representation analysis for coercion placementFAXEN, Karl-Filip.Lecture notes in computer science. 2002, pp 278-293, issn 0302-9743, isbn 3-540-44235-9, 16 p.Conference Paper

Static analysis of the numerical stability of loopsMARTEL, Matthieu.Lecture notes in computer science. 2002, pp 133-150, issn 0302-9743, isbn 3-540-44235-9, 18 p.Conference Paper

Safe programming with pointers through statefui viewsZHU, Dengping; XI, Hongwei.Lecture notes in computer science. 2005, pp 83-97, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

Semantics for abstract interpretation-based static analyzes of temporal propertiesMASSE, Damien.Lecture notes in computer science. 2002, pp 428-443, issn 0302-9743, isbn 3-540-44235-9, 16 p.Conference Paper

The program inverter LRinv and its structureKAWABE, Masahiko; GLÜCK, Robert.Lecture notes in computer science. 2005, pp 219-234, issn 0302-9743, isbn 3-540-24362-3, 16 p.Conference Paper

Towards a more practical hybrid probabilistic logic programming frameworkSAAD, Emad; PONTELLI, Enrico.Lecture notes in computer science. 2005, pp 67-82, issn 0302-9743, isbn 3-540-24362-3, 16 p.Conference Paper

Modular control flow analysis for librariesPROBST, Christian W.Lecture notes in computer science. 2002, pp 165-179, issn 0302-9743, isbn 3-540-44235-9, 15 p.Conference Paper

From secrecy to authenticity in security protocolsBLANCHET, Bruno.Lecture notes in computer science. 2002, pp 342-359, issn 0302-9743, isbn 3-540-44235-9, 18 p.Conference Paper

Representing and approximating transfer functions in abstract interpretation of hetereogeneous datatypesJEANNET, B.Lecture notes in computer science. 2002, pp 52-68, issn 0302-9743, isbn 3-540-44235-9, 17 p.Conference Paper

Abstract interpretation with specialized definitionsPUEBLA, German; ALBERT, Elvira; HERMENEGILDO, Manuel et al.Lecture notes in computer science. 2006, pp 107-126, issn 0302-9743, isbn 3-540-37756-5, 1Vol, 20 p.Conference Paper

Removing superfluous versions in polyvariant specialization of prolog programsOCHOA, Claudio; PUEBLA, German; HERMENEGILDO, Manuel et al.Lecture notes in computer science. 2006, pp 80-97, issn 0302-9743, isbn 3-540-32654-5, 1Vol, 18 p.Conference Paper